TrigReduce

TrigReduce[expr] rewrites products and powers of trigonometric functions in expr in terms of trigonometric functions with combined arguments. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.